#include "s3c24xx.h"

void Timer0_Handle(void)
{
	if (INTOFFSET == 10) {
		GPFDAT = ~(GPFDAT & (0x7 << 4));
	}

	SRCPND = 1 << INTOFFSET;
	INTPND = INTPND;
}

